Blar i HVL Open på forfatter "Kräuter, Tim Oliver"

Viser treff 1-4 av 4

    • Formalization and Analysis of BPMN Using Graph Transformation Systems 

      Kräuter, Tim Oliver; Rutle, Adrian; König, Harald; Lamo, Yngve (Peer reviewed; Journal article, 2023)
      The Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. However, the informal description of the BPMN execution semantics leads to different ...

    • Structural Operational Semantics for Heterogeneously Typed Coalgebras 

      König, Harald; Wolter, Uwe Egbert; Kräuter, Tim Oliver (Peer reviewed; Journal article, 2023)
      Concurrently interacting components of a modular software architecture are heterogeneously structured behavioural models. We consider them as coalgebras based on different endofunctors. We formalize the composition of these ...

    • Towards behavioral consistency in heterogeneous modeling scenarios 

      Kräuter, Tim Oliver (Chapter; Peer reviewed, 2021)
      Behavioral models play an essential role in Model-driven engineering (MDE). Keeping inter-related behavioral models consistent is critical to use them successfully in MDE. However, consistency checking for behavioral models, ...

    • The Visual Debugger Tool 

      Kräuter, Tim Oliver; König, Harald; Rutle, Adrian; Lamo, Yngve (Peer reviewed; Journal article, 2022)
      Debugging is an essential part of software maintenance and evolution since it allows software developers to analyze program execution step by step. Understanding a program is required to fix potential flaws, alleviate ...